منابع مشابه
One to rule them all
The development of transposon-based genome manipulation tools can benefit greatly from understanding transposons' inherent regulatory mechanisms. The Tc1-mariner transposons, which are being widely used in biotechnological applications, are subject to a self-inhibitory mechanism whereby increasing transposase expression beyond a certain point decreases the rate of transposition. In a recent pap...
متن کاملOn Termination of One Rule Rewrite Systems
The undecidability of the termination of rewrite systems is usually proved by reduction to the halting of Turing machines. In particular, Dauchet proves the unde-cidability of the termination of one rule rewrite systems by coding Turing machines into one rule rewrite systems. Rewrite systems are a very simple model of computation and one may expect proofs in this model to be more straightforwar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Res Medica
سال: 2014
ISSN: 2051-7580,0482-3206
DOI: 10.2218/resmedica.v0i0.941